Control Flow Analysis for Brane Calculi
نویسندگان
چکیده
We introduce a Control Flow Analysis for Brane Calculi. This verification technique allows properties regarding the behaviour of biological systems to be checked. This is an approximate technique that focusses on the static specification of a system, rather than on its dynamics, striving for effectiveness. Examples illustrate the approach.
منابع مشابه
Brane Calculi Systems: A Static Preview of their Possible Behaviour
We improve the precision of a previous Control Flow Analysis for Brane Calculi [4], by adding information on the context and introducing causality information on the membranes. This allows us to prove some biological properties on the behaviour of systems specified in Brane Calculi.
متن کاملBiologically Inspired Process Calculi, Petri Nets and Membrane Computing
MeCBIC is usually devoted to membrane computing and biologically inspired process calculi (ambients, brane calculi). This year we also attracted papers dealing with bio-inspired Petri nets in order to promote collaboration between the Petri nets and membrane computing communities. Biological membranes play a fundamental role in the complex reactions which take place in cells of living organisms...
متن کاملTowards a Causal Semantics for Brane Calculi
Brane Calculi are a family of biologically inspired process calculi, proposed in [6] to model the interactions of dynamically nested membranes. We propose a semantics that describes the causal dependencies occurring between the reactions of a system described in Brane Calculi. We investigate the basic properties that are satisfied by such a semantics. The notion of causality turns out to be qui...
متن کاملA Case Study in ( Mem ) Brane Computation : Generating { n 2 | n ≥ 1 }
The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant formalisms inspired by membranes interactions, namely, P systems and Brane Calculi. We compare the two formalisms w.r.t. their ability to act as language generators. In particular, we show different ways of generating the set L = {n |n ≥ 1} in P systems and in Brane Calculi.
متن کاملStatic Analysis Techniques for Session-Oriented Calculi
In the S project, core calculi have been adopted as a linguistic means to model and analyze service oriented applications. The present chapter reports about the static analysis techniques developed for the S sessionoriented core calculi CaSPiS and CC. In particular, it presents a type system for client progress and control flow analysis in CaSPiS and type systems for conversation ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 227 شماره
صفحات -
تاریخ انتشار 2009